

#ifndef PAGING_H_
#define PAGING_H_

#include <stdlib.h>

/* Page Table Entry
 * This represents an entry in a
 * page table array
 * @component frame Frame number in physical
 * memory that this page corresponds to.
 * @component val Marker for the validation
 * of a particular entry. This is used to show
 * that there currently is no memory assigned
 * to the virtual page.
 */
typedef struct tableEntry_t{
	int frame;
	int val;
}pageTable;


//typedef tableEntry* pageTable;

/*Create and return a pointer to a
 * page table
 * @param size Size of the page table
 */
pageTable* createPageTable(int size);

#endif /* PAGING_H_ */
